A Survey of Generalized Basic Logic Al- gebras
نویسندگان
چکیده
Petr Hájek identified the logic BL, that was later shown to be the logic of continuous t-norms on the unit interval, and defined the corresponding algebraic models, BL-algebras, in the context of residuated lattices. The defining characteristics of BL-algebras are representability and divisibility. In this short note we survey recent developments in the study of divisible residuated lattices and attribute the inspiration for this investigation to Petr Hájek.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملAccreditation survey of Al-Kindy Teaching Hospital basic minimum standards for Iraqi Medical Teaching Hospitals
Accreditation survey of Al-Kindy TeachingHospital during the months of February–May2011 was performed as part of its technical assistanceservices to the management of the hospital. Thehospital had formed an accreditation committee inOctober 2010 and began the process of self-assessmentand implementation of the 2010 Iraqi NationalAccreditation Standards for Hospitals. As the hospitalneared the c...
متن کاملOperations on Generalized Intuitionistic Fuzzy Soft Sets
Generalized intuitionistic fuzzy soft set theory, proposed by Park et al. [Journal of Korean Institute of Intelligent Systems 21(3) (2011) 389-394], has been regarded as an effective mathematical tool to deal with uncertainties. In this paper, we prove that certain De Margan’s law hold in generalized intuitionistic fuzzy soft set theory with respect to union and intersection operations on gener...
متن کاملA Survey on Saffron in Major Islamic Traditional Medicine Books
Islamic Traditional Medicine (ITM) is a holistic system of medicine. Saffron (Crocus sativus) is one of the most famous plants cultivated in Iran and has a wide range of activities such as oxytocic, anti-carcinogenic, exhilarant, anti-depressant, and anti-asthma effects. In addition, saffron can increase the bioavailability and enhance absorption of other drugs. This study comprises a bibliogra...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کامل